Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
631	Carnegie Mellon School of Computer Science Scheme Flow Analysis Note Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12 Lambda calculus Formal methods Theoretical computer science Type theory Variables Closure Free variables and bound variables Constant folding Combinatory logic Software engineering Mathematics Computing
632	Finding Minimal Unsatisfiable Cores of Declarative Specifications Emina Torlak, Felix Chang and Daniel Jackson Formal Methods ’08 · Turku, Finland · May 30, 2008 Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:59 Formal methods Metalogic Proof theory Mathematical logic Model theory Formal proof Model checking Mathematical proof Logic Mathematics Automated theorem proving
633	Software Engineering with Formal Methods: The storm surge barrier revisited Klaas. Wijbrans (Acision) Franc Buve, Robin Rijkers, Wouter Geurts (Logica) © 2008 Acision BV. All rights reserved. Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2008-06-10 09:34:10 Water Mobile technology Hartelkering Acision Flood barrier Maeslantkering Logica Risk SMS Flood control in the Netherlands Rhine–Meuse–Scheldt delta Technology
634	Why Should I Believe My Code? Add to Reading List Source URL: w3.pppl.gov Language: English - Date: 2013-07-01 14:39:59 Science Formal methods Software engineering Food safety Systems engineering Verification and validation Validation Software development process Edgar Degas Pharmaceutical industry Validity Computing
635	Microsoft PowerPoint - SDM4.ppt [Read-Only] Add to Reading List Source URL: www.chris-kimble.com Language: English - Date: 2008-10-01 19:21:26 Formal methods Formal sciences Information science Semantic Web Technical communication Logic Z notation Software development process First-order logic Science Knowledge Philosophy
636	Data Mining for W ater Resource Management Part 2 ± Methods and A pproaches to Solving Contemporary Problems Edwin A. Roehl, Jr.1 and Paul A. Conrads2 ____________________________________________________________________ Add to Reading List Source URL: advdmi.com Language: English - Date: 2014-01-16 13:36:31 Ethology Knowledge Data analysis Artificial neural network Computational neuroscience Data mining Time series Hydrology Economic model Formal sciences Cybernetics Science
637	i i “program” — — 10:23 — page 1 — #1 i Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2005-05-10 08:56:12 Ada programming language Software architecture Systems architecture Formal methods Ada SPARK Architecture Analysis & Design Language Ravenscar profile Real-time computing Computing Software engineering Computer programming
638	νZ - Maximal Satisfaction with Z3 Nikolaj Bjørner1 and Anh-Dung Phan2∗ 1 2 Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-10-16 19:21:04 Formal methods Constraint programming Electronic design automation Logic in computer science NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Linear programming Mathematical optimization Theoretical computer science Applied mathematics Mathematics
639	Funded Lostesc proposals Leveraging on Space Technologies to Enhance SMEs’ Competitiveness European Space Agency Agence Spatiale Européenne Add to Reading List Source URL: smeprojects.esa.int Language: English - Date: 2005-08-31 15:24:16 Software development Formal methods Industrial design Prototype Software development process Mockup Project management Software development methodology Usability Technology Business Software
640	Preproposal 3-January-1969 Add to Reading List Source URL: www.ai.sri.com Language: English - Date: 2004-10-06 18:18:09 Problem solving Theoretical computer science Artificial intelligence Cellular automata Formal methods Models of computation Cellular automaton Automata theory Logic Theorist Robot

UPDATE